Selective Opacity
نویسندگان
چکیده
منابع مشابه
Opacity Testing
Opacity testing is formalized and studied. We specify opacity testers as well as tested systems by (timed) process algebras. We model various testers according to how sophisticated observations of tested system they can make and which kind of conclusions they can obtain. We use this technique to define several realistic security properties. The properties are studied and compared with other sec...
متن کاملDecomposing Opacity
Transactional memory (TM) algorithms are subtle and the TM correctness conditions are intricate. Decomposition of the correctness condition can bring modularity to TM algorithm design and verification. We present a decomposition of opacity called markability as a conjunction of separate intuitive invariants. We prove the equivalence of opacity and markability. The proofs of markability of TM al...
متن کاملRational Opacity
A key motivation for transparency regulations and disclosure rules is the view that corporations are more opaque than they could be. Traditional arguments attribute this tendency to agency problems between managers on one side and stakeholders and/or outsiders on the other. We propose a completely di erent argument for why corporations limit the ow of information. When secondary markets are sha...
متن کاملCorneal Thinning and Opacity following Selective Laser Trabeculoplasty: A Case Report
Aims: Selective laser trabeculoplasty (SLT) (Lumenis, Santa Clara, CA) was developed in 1999 as a means to lower IOP in patients with glaucoma. It is a relatively safe procedure. We report a rare side effect of corneal opacity and stromal haze with corneal thinning and hyperopic shift following SLT. Presentation of Case: Case report. Results: A 50 year-old Asian male who underwent SLT OD develo...
متن کاملOpacity in Tundra Nenets
The analysis of opaque relations presents a problem to classic Optimality Theory (OT) (Prince and Smolensky 1993, McCarthy and Prince 1993), inherently a surface-oriented theory. Many different proposals have been made to integrate the analysis of opacity into OT. In this paper, we address the problem of opacity in Tundra Nenets (TN), a Uralic (Samoyedic) language spoken in Arctic Russia and No...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Linguistic Inquiry
سال: 2019
ISSN: 0024-3892,1530-9150
DOI: 10.1162/ling_a_00299